Books by author Gilles Barthe

Showing 1 – 14 out of 14 results

1. 

   Software Engineering and Formal Methods

   Gilles Barthe, Alberto Pardo, Gerardo Schneider | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2011

   
   

   50/50 - We search the world

   Language: English

   Binding: Paperback

   56.82 €

   Buy
2. 

   Verification, Model Checking, and Abstract Interpretation

   Gilles Barthe, Manuel Hermenegildo | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2010

   
   

   In stock at our supplier - Shipping in 14 - 21 days

   Language: English

   Binding: Paperback

   55.81 €

   Buy
3. 

   Foundations of Probabilistic Programming

   Gilles Barthe, Joost-Pieter Katoen, Alexandra Silva | Cambridge University Press, 2020

   
   

   Print on demand - Shipping in 17 - 26 days

   Language: English

   Binding: Hardback

   84.93 €

   Sale 0 %

   You save 0.04 €

   Buy
4. 

   Construction and Analysis of Safe, Secure, and Interoperable Smart Devices

   Gilles Barthe, Benjamin Gregoire, Marieke Huisman, Jean-Luis Lanet | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2006

   
   

   In stock at our supplier - Shipping in 14 - 21 days

   Language: English

   Binding: Paperback

   55.81 €

   Buy
5. 

   Security and Trust Management

   Gilles Barthe, Evangelos Markatos, Pierangela Samarati | Springer International Publishing AG, 2016

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.48 €

   Sale 7 %

   You save 4.26 €

   Buy
6. 

   Engineering Secure Software and Systems

   Gilles Barthe, Ben Livshits, Riccardo Scandariato | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2012

   
   

   In stock at our supplier - Shipping in 14 - 21 days

   Language: English

   Binding: Paperback

   55.81 €

   Buy
7. 

   Trustworthy Global Computing

   Gilles Barthe, Cédric Fournet | Springer, Berlin, 2008

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.48 €

   Sale 7 %

   You save 4.26 €

   Buy
8. 

   Formal Methods for Open Object-Based Distributed Systems

   Gilles Barthe | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2008

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.48 €

   Sale 7 %

   You save 4.26 €

   Buy
9. 

   Applied Semantics

   Gilles Barthe, Peter Dybjer, Luis Pinto | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2002

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.48 €

   Sale 7 %

   You save 4.26 €

   Buy
10. 

    Construction and Analysis of Safe, Secure, and Interoperable Smart Devices

    Gilles Barthe, Lilian Burdy, Marieke Huisman, Jean-Louis Lanet | Springer, Berlin, 2005

    
    

    In stock at our supplier - Shipping in 5 - 8 days

    Language: English

    Binding: Paperback

    51.48 €

    Sale 7 %

    You save 4.26 €

    Buy
11. 

    Security and Trust Management

    Jorge Cuellar, Javier Lopez, Gilles Barthe, Alexander Pretschner | Springer, Berlin, 2011

    
    

    In stock at our supplier - Shipping in 10 - 18 days

    Language: English

    Binding: Paperback

    63.17 €

    Buy
12. 

    Programming Languages and Systems

    Gilles Barthe | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2011

    
    

    50/50 - We search the world

    Language: English

    Binding: Paperback

    56.82 €

    Buy
13. 

    Formal Aspects of Security and Trust

    Gilles Barthe, Anupam Datta, Sandro Etalle | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2012

    
    

    In stock at our supplier - Shipping in 14 - 21 days

    Language: English

    Binding: Paperback

    70.62 €

    Buy
14. 

    Foundations of Security Analysis and Design V

    Alessandro Aldini, Gilles Barthe, Roberto Gorrieri | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2009

    
    

    In stock at our supplier - Shipping in 14 - 21 days

    Language: English

    Binding: Paperback

    50.87 €

    Buy

Returning customers have discounts and benefits. Find out more